$\forall$$a$:Id, $l$:IdLnk, ${\it tg}$:Id. locl($a$) $=$ rcv($l$,${\it tg}$) $\in$ Knd $\Rightarrow$ False